library(tidyverse)
library(DeclareDesign)
library(rdss)

set.seed(42)
source("code/declarations/declaration_4.1.R")
diagnosis_4.1 <-
  diagnose_design(declaration_4.1, sims = 100)

write_rds(diagnosis_4.1, file = "diagnosis_objects/diagnosis_4.1.rds")
